\chapter{Utilisation du logiciel}

\section{Dessin d'un automate}
Pour dessiner un nouvel automate, l'utilisateur a à sa disposition une barre d'outils dont les fonctionnalités sont complétées par les interactions que l'utilisateur peut avoir avec le logiciel via la souris ou le clavier. 

\subsection{Ajouts de nouveaux états}
Après avoir cliqué sur le bouton correspondant au type d'état qu'il souhaite ajouter, l'utilisateur peut cliquer avec le bouton gauche de la souris dans l'aire de dessin pour ajouter de nouveaux états. 

\paragraph{}
Il est à noter qu'il n'est possible de n'ajouter qu'un seul état initial, qu'il soit aussi final ou non. 
Si l'utilisateur essaie de créer deux états initiaux, une fenêtre de dialogue s'affichera pour indiquer un message d'erreur. 

\paragraph{}
Un état initial est ainsi représenté par un petit carré, un état intermédiaire par un rond, un état final par un grand carré et enfin, un état initial et final par un carré moyen. 
L'incrémentation de la numérotation des états se fait de manière automatique.

\paragraph{}
Une fois les états créés, l'utilsateur a la possibilité de les déplacer. 
Il lui suffit pour cela de cliquer sur l'état choisi avec le bouton gauche de la souris, et sans relâcher, de le faire glisser jusqu'à la position désirée. 


\subsection{Ajouts de nouvelles transitions}
Pour ajouter de nouvelles transitions, l'utilisateur doit maintenir la touche MAJ du clavier, tout en cliquant sur l'état source de transition, et sans relâcher, déplacer le curseur jusque sur l'état cible souhaité.

\paragraph{}
Si l'utlisateur ne clique pas sur un état déjà existant pour initialiser sa transition, alors il se créera un nouvel état qui sera pris pour état source. 

\paragraph{Points de brisure}
S'il souhaite ajouter des points de brisure à l'arête resprésentant la transition, l'utilisateur n'a qu'à appuyer sur la touche ESPACE à l'endroit voulu. 
Il lui est alors possible d'ajouter autant de point de brisure qu'il le souhaite. 

\paragraph{Orientation}
Notons que les transitions créées sont orientées. 
Pour crééer une transition non orientée, il faudra créer deux transitions en sens opposés. 

\paragraph{Étiquette de la transition}
Pour indiquer l'étiquette d'une transition, l'utilisateur doit remplir le champ associé à la flèche représentant la transition. 


\subsection{Suppression d'états ou de transitions}
Pour supprimer un état ou une transition, il suffit de cliquer dessus avec le bouton droit de la souris.

\section{Reconnaissance d'un mot par l'automate}
Pour entrer le mot qu'il souhaite faire reconnaître à l'automate, l'utilisateur doit remplir le champ de la barre d'outils "set pattern here!" et cliquer sur le bouton "verify".

\paragraph{}
Une fenêtre de dialogue s'affiche alors pour indiquer si le mot a été ou non reconnu par l'automate. 

\section{Sauvegarde et chargement de l'automate}
\subsection{Sauvegarde}
Pour sauvegarder l'automate créé, l'utilisateur doit aller dans le menu "File" et cliquer sur "Save". 
Il pourra alors choisir l'adresse et le nom du fichier qui contiendra son automate au format XML. 
Notons que, considérés comme du bruit, les états non reliés à l'automate par au moins une transition ne seront pas saugardés.

\subsection{Chargement}
Pour recharger un automate précedement sauvegardé, l'utilisateur doit aller dans le menu "File", puis cliquer sur "Load".
Il pourra alors choisir l'adresse et le fichier XML à charger. 


%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "../main"
%%% End: 
